منابع مشابه
John McCarthy
John McCarthy, considerado como uno de los padres de la Inteligencia Artificial, es hijo de padre católico irlandés y madre judía lituana. Ingresó en el Caltech (Instituto Tecnológico de California) a los 16 años, de donde fue expulsado por negarse a seguir las clases de educación física, pero años después fue admitido de nuevo como veterano de guerra. Se licenció en matemáticas en 1948, despué...
متن کاملOn Hoare-McCarthy algebras
We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare’s conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy’s notion of sequential evaluation [1963] we discuss a number of valuation congruences and we introduce Hoare-McCarthy algebras as the structures that characterize these congruences.
متن کاملSOME REMARKS ON A PAPER OF McCARTHY
As usual we denote the number of integers not exceeding n and relatively prime to n by Euler's 0 function 0(n). Lehmer 2) calls the A (n) integers 1=a,< a 2 <. .. k. Lehmer) says that the totatives are uniformly distributed with respect to k. To shorten the notation we say that T(n, k)...
متن کاملLecture in Remembrance of John McCarthy
John McCarthy, famous for his role in the development of time-sharing, for inventing the computer language LISP, for his foundational work in theory of computation, and for his founding of the fields of artificial intelligence and knowledge representation, was concerned for much of his career with what he termed drosophilae: small challenge problems that highlighted characteristic aspects of in...
متن کاملBochvar-McCarthy Logic and Process Algebra
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditional guard construct and the proposed logic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Per Linguam
سال: 2013
ISSN: 2224-0012,0259-2312
DOI: 10.5785/7-2-341